type Exp a b = Lan ((,) a) I b